Extensional Information Articulation from the Universe
نویسندگان
چکیده
Information must have physical support and this physical universe comprises physical interactions. Hence actual information processes should have a description by interactions alone, i.e., an extensional description. In this paper, such a model of the process of information articulation from the universe is developed by generalizing the extensive measurement theory in metrology. Moreover, a model of the attribute creation process is presented to exemplify a step of the informational articulation process. These models demonstrate the valuableness of the extensional view and are expected to enhance the understanding of the extensional aspects of fundamentals of information.
منابع مشابه
Evolution of Information and Complexity in an Ever-Expanding Universe
Using the usual definitions of information and entropy in quantum gravity and statistical mechanics and the existing views about the relation between information and complexity, we examine the evolution of complexity in an ever expanding universe.
متن کاملبررسی ارتباط رفلکسهای تغذیهای و چگونگی تولید همخوانهای زبان فارسی در کودکان فلج مغزی اسپاستیک 10-5 ساله
Background: Cerebral palsy is the term used to describe a movement disorder though to be the result of nonprogressive brain damage. Due to damage to CNS, it is associated with articulation disorder and abnormal feeding reflex. Lack of oral function control and coordination following feeding reflex disorders. Articulation disorders are seen in most of the cerebral palsied patients.This research ...
متن کاملInternalization of the Groupoid Interpretation of Type Theory
Homotopical interpretations of Martin-Löf type theory lead toward an interpretation of equality as a richer, more extensional notion. Extensional or axiomatic presentations of the theory with principles based on such models do not yet fully benefit from the power of dependent type theory, that is its computational character. Reconciling intensional type theory with this richer notion of equalit...
متن کاملExtensional Equality in Intensional Type Theory
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, intensional setoid model in Intensional Type theory with a proof-irrelevant universe of propositions and -rules for and -types. The Type Theory corresponding to this model is decidable, has no irreducible constants and per...
متن کاملThe intrinsic topology of Martin-Löf universes
A construction by Hofmann and Streicher gives an interpretation of a typetheoretic universe U in any Grothendieck topos, assuming a Grothendieck universe in set theory. Voevodsky asked what space U is interpreted as in Johnstone’s topological topos. We show that its topological reflection is indiscrete. We also offer a model-independent, intrinsic or synthetic, description of the topology of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Information
دوره 3 شماره
صفحات -
تاریخ انتشار 2012